大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Programming (Numerical Software) 的图书(共3243本)

Recent Advances in Constraints [electronic resource] : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers

0
索取号：
作者：Azevedo、 Francisco.、Barahona、 Pedro.、Fages、 Fran莽ois.、Rossi、 Francesca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Linear Programming and its Applications [electronic resource]

0
索取号：
作者：Eiselt、 H. A.、Sandblom、 C. -L.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

ECOOP 2007-Object-Oriented Programming [electronic resource] : 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings

0
索取号：
作者：Ernst、 Erik.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Component-Based Software Engineering [electronic resource] : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings

0
索取号：
作者：Schmidt、 Heinz W.、Crnkovic、 Ivica.、Heineman、 George T.、Stafford、 Judith A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Product-Focused Software Process Improvement [electronic resource] : 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007. Proceedings

0
索取号：
作者：M眉nch、 J眉rgen.、Abrahamsson、 Pekka.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Automata, Languages and Programming [electronic resource] : 34th International Colloquium, ICALP 2007, Wroc艂aw, Poland, July 9-13, 2007. Proceedings

0
索取号：
作者：Arge、 Lars.、Cachin、 Christian.、Jurdzi艅ski、 Tomasz.、Tarlecki、 Andrzej.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Model Checking Software [electronic resource] : 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings

0
索取号：
作者：Bo拧na膷ki、 Dragan.、Edelkamp、 Stefan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Reliable Software Technologies-Ada Europe 2007 [electronic resource] : 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings

0
索取号：
作者：Abdennadher、 Nabil.、Kordon、 Fabrice.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Software Engineering for Multi-Agent Systems V [electronic resource] : Research Issues and Practical Applications

0
索取号：
作者：Choren、 Ricardo.、Garcia、 Alessandro.、Giese、 Holger.、Leung、 Ho-fung.、Lucena、 Carlos.、Romanovsky、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings

0
索取号：
作者：Concas、 Giulio.、Damiani、 Ernesto.、Scotto、 Marco.、Succi、 Giancarlo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Testing of Software and Communicating Systems [electronic resource] : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings

0
索取号：
作者：Petrenko、 Alexandre.、Veanes、 Margus.、Tretmans、 Jan.、Grieskamp、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Requirements Engineering: Foundation for Software Quality [electronic resource] : 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings

0
索取号：
作者：Sawyer、 Pete.、Paech、 Barbara.、Heymans、 Patrick.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Integer Programming and Combinatorial Optimization [electronic resource] : 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007. Proceedings

0
索取号：
作者：Fischetti、 Matteo.、Williamson、 David P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Embedded Software and Systems [electronic resource] : Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings

0
索取号：
作者：Lee、 Yann-Hang.、Kim、 Heung-Nam.、Kim、 Jong.、Park、 Yongwan.、Yang、 Laurence T.、Kim、 Sung Won.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Formal Methods for Performance Evaluation [electronic resource] : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Hillston、 Jane.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Software Process Dynamics and Agility [electronic resource] : International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007. Proceedings

0
索取号：
作者：Wang、 Qing.、Pfahl、 Dietmar.、Raffo、 David M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.